Remove unused splint

diff --git a/.splintrc b/.splintrc
deleted file mode 100644 (file)
index f51cbea..0000000
--- a/.splintrc
+++ /dev/null
@@ -1,10 +0,0 @@
--I ./include/
--posix-lib
--redef
--syntax
--fcnuse 
--unrecog
--exitarg
--boolops
-+boolint
-+matchanyintegral